资源类型

期刊论文 374

会议视频 9

年份

2024 1

2023 34

2022 34

2021 40

2020 26

2019 25

2018 10

2017 17

2016 12

2015 24

2014 8

2013 17

2012 22

2011 13

2010 22

2009 19

2008 8

2007 8

2006 6

2005 6

展开 ︾

关键词

DX桩 4

三峡工程 3

模型试验 3

2023全球十大工程成就 2

承载力 2

数据驱动方法 2

智能制造 2

机器学习 2

能源 2

1860 MPa等级 1

1T/2H-MoS2 1

360°表征 1

4250 m 1

9 + 2结构 1

ANSYS 1

BP神经网络 1

CAD 装配模型 1

CFRP索斜拉桥 1

CO2 EOR 1

展开 ︾

检索范围：

排序： 展示方式：

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

《信息与电子工程前沿（英文）》 2015年 第16卷 第2期   页码 85-97 doi: 10.1631/FITEE.1400111

摘要： Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

关键词： Graph rewriting based model transformations     Verification/validation     Test-driven verification    

HTML PDF 收藏

强度理论与实验现象

刘大斌,韩文坝,蔡冰清,韩晓东

《中国工程科学》 2007年 第9卷 第12期   页码 44-52

摘要： 用四大经典理论、莫尔强度理论和质点平衡强度理论的准则和强度条件，对单向拉压、二向拉压、纯扭转等已被认定的实验现象进行对比，对低、中碳钢重新做了纯扭转求最大屈服剪应力实验。发现质点平衡强度理论的符合率较高，13个实验中的有12个符合。尤其是拉伸—剪切使剪切破坏试验变得容易，压缩—剪切使剪切破坏试验变得困难的实验现象与质点平衡强度理论完全符合；莫尔强度理论也只有当拉伸和压缩极限强度不同时才能符合；其他强度理论都与此实验不符合。特别是当三向等应力拉伸（或压缩）时第三强度理论出现相当应力为零；三向等应力拉伸（或压

关键词： 强度理论     实验现象     屈服现象     应力状态    

HTML PDF 收藏

Theoretical modeling and experimental verifications of the single-compressor-driven three-stage Stirling-type

Haizheng DANG, Dingli BAO, Zhiqian GAO, Tao ZHANG, Jun TAN, Rui ZHA, Jiaqi LI, Ning LI, Yongjiang ZHAO, Bangjian ZHAO

《能源前沿（英文）》 2019年 第13卷 第3期   页码 450-463 doi: 10.1007/s11708-018-0569-8

摘要： This paper establishes a theoretical model of the single-compressor-driven (SCD) three-stage Stirling-type pulse tube cryocooler (SPTC) and conducts experimental verifications. The main differences between the SCD type and the multi-compressor-driven (MCD) cryocooler are analyzed, such as the distribution of the input acoustic power in each stage and the optimization of the operating parameters, in which both advantages and difficulties of the former are stressed. The effects of the dynamic temperatures are considered to improve the accuracy of the simulation at very low temperatures, and a specific simulation example aiming at 10 K is given in which quantitative analyses are provided. A SCD three-stage SPTC is developed based on the theoretical analyses and with a total input acoustic power of 371.58 W, which reaches a no-load temperature of 8.82 K and can simultaneously achieve the cooling capacities of 2.4 W at 70 K, 0.17 W at 25 K, and 0.05 W at 10 K. The performance of the SCD three-stage SPTC is slightly poorer than that of its MCD counterpart developed in the same laboratory, but the advantages of lightweight and compactness make the former more attractive to practical applications.

关键词： single-compressor-driven     three-stage     Stirling-type pulse tube cryocooler     theoretical modeling     experimental verification    

HTML PDF 收藏

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

《工程（英文）》 doi: 10.1016/j.eng.2023.04.016

摘要： The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers. Using formal or digital methods, natural language traffic rules can be translated into machine language and used by autonomous vehicles. In this paper, a translation flow is designed. Beyond the translation, a deeper examination is required, because the semantics of natural languages are rich and complex, and frequently contain hidden assumptions. The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved. In response, we propose a method of formal verification that combines equivalence verification with model checking. Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method. In addition, we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations. The experimental findings indicate that our digital rules utilizing metric temporal logic (MTL) can be easily incorporated into simulation platforms and autonomous driving systems (ADS).

关键词： Autonomous driving     Traffic rules     Digitization     Formalization     Verification    

HTML PDF 收藏

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

《能源前沿（英文）》 2021年 第15卷 第2期   页码 529-538 doi: 10.1007/s11708-019-0624-0

摘要： The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.

关键词： repairable system     power equipment     electric generating unit     power station auxiliary     transmission and distribution installation     reliability     availability     availability growth model    

HTML PDF 收藏

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

《结构与土木工程前沿（英文）》 2007年 第1卷 第2期   页码 163-169 doi: 10.1007/s11709-007-0017-z

摘要： Concrete-filled steel tubular columns with L or T sections were analyzed in this paper. According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated results were compared with experimental records. After that, the hysteretic rules for the in-filled concrete were constructed, aiming at the analysis on the seismic behavior of composite members. The simulation analysis was performed by programming it in Fortran. The models in this paper can be applied in the program of time history analysis on tall buildings with concrete-filled steel tubular columns with L or T sections.

关键词： hysteretic     confining mechanism     Concrete-filled     in-filled     composite    

HTML PDF 收藏

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

《能源前沿（英文）》 2012年 第6卷 第4期   页码 413-419 doi: 10.1007/s11708-012-0212-z

摘要： The kinetics of lignocellulose hydrolysis under the conditions of high temperature and dilute acid (mass fraction 0.05%) was investigated in this paper. By studying the reducing sugar concentration versus reaction temperature (170°C–220°C) and reaction time (150–1800 s) during the hydrolysis process of five kinds of crop straw (rice, wheat, cotton, rape and corn), the shrinking core model was established, and the differential equation of the model and its analytical solution were obtained. With a numerical calculation method, the kinetic equation was estimated, and the degradation of reducing sugar obeyed first-order kinetics was obtained. The calculated results from the equations agreed well with the original experimental data. The calculation by the model showed that the reducing sugar concentration increases as the size of the particles decrease, and the uniform particles increase.

关键词： lignocellulose     dilute acid hydrolysis     shrinking core model    

HTML PDF 收藏

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

《化学科学与工程前沿（英文）》 2010年 第4卷 第4期   页码 523-528 doi: 10.1007/s11705-010-0520-y

摘要： Selective catalytic reduction (SCR) is a major commercial technology for NO removal in power plants. There are a lot of complex chemical reactions in SCR reactors, and it is of great significance to understand the internal process of chemical reactions for SCR DeNO and study the impact of various factors on NO removal efficiency. In this paper, the impact of reaction temperature, ammonia-nitrogen molar ratio and resident time in the catalyst bed layer on NO removal efficiency were studied by simulation of chemical reactions. Then calculated results were compared with catalyst activity test data in a power plant, which proved that the simulated results were accurate. As a result, the reaction conditions were optimized in order to get the best removal efficiency of NO, so that we can provide a reference for optimal running of SCR in power plants.

关键词： SCR     NOx     removal efficiency     chemical reactions     simulation    

HTML PDF 收藏

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

《机械工程前沿（英文）》 2021年 第16卷 第4期   页码 747-764 doi: 10.1007/s11465-021-0644-4

摘要： Transfemoral amputees (TAs) have difficulty in mobility during walking, such as restricted movement of lower extremity and body instability, yet few transfemoral prostheses have explored human-like multiple motion characteristics by simple structures to fit the kinesiology, biomechanics, and stability of human lower extremity. In this work, the configurations of transfemoral prosthetic mechanism are synthesized in terms of human lower-extremity kinesiology. A hybrid transfemoral prosthetic (HTP) mechanism with multigait functions is proposed to recover the gait functions of TAs. The kinematic and mechanical performances of the designed parallel mechanism are analyzed to verify their feasibility in transfemoral prosthetic mechanism. Inspired by motion–energy coupling relationship of the knee, a wearable energy-damper clutched device that can provide energy in knee stance flexion to facilitate the leg off from the ground and can impede the leg’s swing velocity for the next stance phase is proposed. Its co-operation with the springs in the prismatic pairs enables the prosthetic mechanism to have the energy recycling ability under the gait rhythm of the knee joint. Results demonstrate that the designed HTP mechanism can replace the motion functions of the knee and ankle to realize its multimode gait and effectively decrease the peak power of actuators from 94.74 to 137.05 W while maintaining a good mechanical adaptive stability.

关键词： hybrid transfemoral prosthetic mechanism     energy recycling     wearable mechanical clutched device     mechanical adaptive stability    

HTML PDF 收藏

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

《能源前沿（英文）》 2018年 第12卷 第3期   页码 376-388 doi: 10.1007/s11708-018-0559-x

摘要：

The Paris Agreement, which entered into effect in 2016, emphasizes a definite timeline for communicating and maintaining successive nationally determined contributions (NDCs) that it plans to achieve in addressing climate change. This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building Initiative for Transparency (CBIT). Though such actions are universally accepted by the Parties to the Paris Agreement, earlier studies have shown that there remain technological, social, political and financial constrains which will affect the development and deployment of such a system. In this paper, using a case study on MRV implementation in Bogor City in Indonesia, how the above-mentioned challenges can be overcome is outlined through a technological and policy innovation process where scientists and technologists (collectively referred as expert networks) can join hands with local governments and national policy makers in designing, development and implementation of an MRV system that meets the local, national and global requirements. Through the case study it is further observed that expert networks can act as interactive knowledge generators and policy interlocutors in bridging technology with policy. To be specific, first, a brief history of the international context of MRV and CBIT is outlined. Next, the theoretical underpinning of the study is contextualized within the existing theories related to public policy and international relations. Finally, the case study is outlined and investigated where the engagement of an expert-network and policy makers in the design, development and implementation of an MRV tool is showcased.

关键词： MRV     CBIT     UNFCCC     Indonesia     Japan     ICT based monitoring     climate policy    

HTML PDF 收藏

State-of-the-art on theories and applications of cable-driven parallel robots

《机械工程前沿（英文）》 2022年 第17卷 第3期 doi: 10.1007/s11465-022-0693-3

摘要： Cable-driven parallel robot (CDPR) is a type of high-performance robot that integrates cable-driven kinematic chains and parallel mechanism theory. It inherits the high dynamics and heavy load capacities of the parallel mechanism and significantly improves the workspace, cost and energy efficiency simultaneously. As a result, CDPRs have had irreplaceable roles in industrial and technological fields, such as astronomy, aerospace, logistics, simulators, and rehabilitation. CDPRs follow the cutting-edge trend of rigid–flexible fusion, reflect advanced lightweight design concepts, and have become a frontier topic in robotics research. This paper summarizes the kernel theories and developments of CDPRs, covering configuration design, cable-force distribution, workspace and stiffness, performance evaluation, optimization, and motion control. Kinematic modeling, workspace analysis, and cable-force solution are illustrated. Stiffness and dynamic modeling methods are discussed. To further promote the development, researchers should strengthen the investigation in configuration innovation, rapid calculation of workspace, performance evaluation, stiffness control, and rigid–flexible coupling dynamics. In addition, engineering problems such as cable materials, reliability design, and a unified control framework require attention.

关键词： cable-driven parallel robot     kinematics     optimization     dynamics     control    

HTML PDF 收藏

基于随机森林模型的滑动轨迹人机识别 Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

《信息与电子工程前沿（英文）》 2019年 第20卷 第7期   页码 925-929 doi: 10.1631/FITEE.1700442

摘要： 识别码在维护网络安全的人机身份验证中得到广泛应用。人机身份验证面临的挑战包括对人与机器滑动轨迹的正确检测。提出一种基于滑动轨迹数据集的人机识别随机森林模型。通过多维性能评价指标，包括识别准确率、识别召回率、识别误报率、识别漏报率、F值和加权准确率，验证该随机森林模型以及基准模型（逻辑回归模型和支持向量机）。随机森林模型多维性能评价指标优于基准模型。

关键词： 人机识别；随机森林；支持向量机；逻辑回归；多维性能评价指标    

HTML PDF 收藏

Function-oriented optimization design method for underactuated tendon-driven humanoid prosthetic hand

《机械工程前沿（英文）》 2022年 第17卷 第3期 doi: 10.1007/s11465-022-0696-0

摘要： The loss of hand functions in upper limb amputees severely restricts their mobility in daily life. Wearing a humanoid prosthetic hand would be an effective way of restoring lost hand functions. In a prosthetic hand design, replicating the natural and dexterous grasping functions with a few actuators remains a big challenge. In this study, a function-oriented optimization design (FOD) method is proposed for the design of a tendon-driven humanoid prosthetic hand. An optimization function of different functional conditions of full-phalanx contact, total contact force, and force isotropy was constructed based on the kinetostatic model of a prosthetic finger for the evaluation of grasping performance. Using a genetic algorithm, the optimal geometric parameters of the prosthetic finger could be determined for specific functional requirements. Optimal results reveal that the structure of the prosthetic finger is significantly different when designed for different functional requirements and grasping target sizes. A prosthetic finger was fabricated and tested with grasping experiments. The mean absolute percentage error between the theoretical value and the experimental result is less than 10%, demonstrating that the kinetostatic model of the prosthetic finger is effective and makes the FOD method possible. This study suggests that the FOD method enables the systematic evaluation of grasping performance for prosthetic hands in the design stage, which could improve the design efficiency and help prosthetic hands meet the design requirements.

关键词： function-oriented     tendon driven     prosthetic hand     optimization     humanoid     underactuated    

HTML PDF 收藏

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

《中国工程科学》 2005年 第7卷 第6期   页码 54-56

摘要：

缩口力是导致薄壁筒形件缩口失稳的重要因素。为了提高缩口力的计算精度，M·B·斯德洛日夫和E·π·翁克索夫综合考虑板厚变化、加工硬化及磨擦等因素的影响，分别提出了圆筒形件缩口力的计算方法；通过实例对该两种方法的计算结果进行了分析，并与实验数据做了比较。结果表明，两种方法的计算结果十分接近，而且与实验数据相吻合。

关键词： 缩口力     理论计算     试验验证    

HTML PDF 收藏

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

《结构与土木工程前沿（英文）》 2009年 第3卷 第4期   页码 384-394 doi: 10.1007/s11709-009-0065-7

摘要： This paper focuses on damage control design of SMA dampers in steel frame piers. A parametric study based on time history analyses is carried out on frame-typed bridge piers with axial-type SMA damping device. The parameters examined are design parameters of strength ratio and stiffness ratio . Seismic performance indexes on displacement and strain are investigated under three JRA recommended Level 2 Ground Type П strong earthquake motions. Design recommendations are suggested following the results of the parametric study.

关键词： damage control design     shape memory alloy     parameter study     displacement-based verification     strain-based verification     time history analysis    

HTML PDF 收藏

标题 作者 时间 类型 操作

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

期刊论文

强度理论与实验现象

刘大斌,韩文坝,蔡冰清,韩晓东

期刊论文

Theoretical modeling and experimental verifications of the single-compressor-driven three-stage Stirling-type

Haizheng DANG, Dingli BAO, Zhiqian GAO, Tao ZHANG, Jun TAN, Rui ZHA, Jiaqi LI, Ning LI, Yongjiang ZHAO, Bangjian ZHAO

期刊论文

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

期刊论文

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

期刊论文

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

期刊论文

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

期刊论文

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

期刊论文

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

期刊论文

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

期刊论文

State-of-the-art on theories and applications of cable-driven parallel robots

期刊论文

基于随机森林模型的滑动轨迹人机识别

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

期刊论文

Function-oriented optimization design method for underactuated tendon-driven humanoid prosthetic hand

期刊论文

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

期刊论文

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

期刊论文